A Look at the Consequences of Internet Censorship Through an ISP Lens Sheharbano Khattak1 , Mobin Javed2 , Syed Ali Khayam3 , Zartash Afzal Uzmi4 , Vern Paxson2,5 1 University of Cambridge, 2 UC Berkeley, 3 PLUMgrid, 4

Source URL: sheharbano.com

On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2

Source URL: maths-people.anu.edu.au

• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Computational hardness assumptions
• Logarithms
• Modular arithmetic
• Finite fields
• Discrete logarithm
• Randomized algorithm
• Pollard's rho algorithm
• Index calculus algorithm

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: csl.sri.com

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2

Source URL: blockchain.princeton.edu

• Bitcoin
• Cryptocurrencies
• Free software
• Money
• Economy
• Alternative currencies
• Digital currencies
• Decentralization
• SegWit
• Blockchain
• Mining pool
• Satoshi Nakamoto

Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to

Source URL: uclmr.github.io

• Artificial intelligence
• Computational neuroscience
• Machine learning
• Learning
• Artificial neural networks
• Market research
• Convolutional neural network
• Outline of machine learning
• MNIST database
• Supervised learning
• Variational Bayesian methods
• Bayesian network

1 2 Das Quadrat sollte nach dem Ausdrucken

Source URL: www.landliebe.ch

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

Volunteer Assistance at Meal Times: What is Your Role? Hospital Malnutrition in Canada • Almost 1 in 2 medical or surgical patients who stay 2+

Source URL: www.nutritioncareincanada.ca

• Health
• RTT
• Humanitarian aid
• Malnutrition
• Nutrition
• Public health
• Appetite
• Food

Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2

Source URL: julien.signoles.free.fr

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Systems engineering
• Logic in computer science
• Formal verification
• Mutation testing
• Code coverage
• KeY
• Specification